🔄 CPS Transform - hello · Scour

Reduction for Structured Concurrent Programs

arxiv.org·15h

🔓Lock-Free Programming

Why not tail recursion?

futhark-lang.org·1d·

Discuss: Lobsters, Hacker News

🔁eBPF Tail Calls

On the way to step functions: the two worlds

blog.julik.nl·1d

⏱️Temporal Workflow

GNU C Language Manual

gnu.org·1h

🔨Compiler Design

Designing Better Compiler Diagnostics — Lessons from building Klar

dev.to·2d·

Discuss: DEV

A Shortcut to a Ground State

link.aps.org·20h

✅Model Checking

Rust async combinators for elegant and secure concurrency

kerkour.com·14h·

Discuss: r/rust

Announcing GitHub Copilot code completions in SQL Server Management 22.2.1

techcommunity.microsoft.com·1h

✅SQLx Compile-Time Verification

Functional Logic Program Transformations

arxiv.org·15h

λFunctional Programming

C++ Insights Episode 70: Efficiently passing a std::source_location object

andreasfertig.com·20h

🔮Folly Futures

CodeSOD: Validation Trimmed Away

thedailywtf.com·14h

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·2h·

Discuss: r/cpp

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🦀Rust Macros

Real-Time Data Stream Processing in Go: Backpressure, Windowing, and Fault Tolerance Explained

dev.to·6h·

Discuss: DEV

⏰Timely Dataflow

Show HN: Procjail – Building a process isolator in Go using Linux namespaces

emmanuel326.github.io·7h·

Discuss: Hacker News

📦Linux cgroups v2

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·8h

🔬Static Analysis

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·4h·

Discuss: Hacker News

⚠️Rust Unsafe

Jackpoint: control Claude via Matrix DMs

piszek.com·4h

BPF Verifier State Pruning: Timeline

pchaigno.github.io·1d

Chasing a newline - OwenGage.com

owengage.com·2d·

Discuss: r/programming

🎯Escape Analysis

Loading more...